Another Note on Dilworth's Decomposition Theorem
نویسندگان
چکیده
منابع مشابه
Another Note on Weyl’s Theorem
“Weyl’s theorem holds” for an operator T on a Banach space X when the complement in the spectrum of the “Weyl spectrum” coincides with the isolated points of spectrum which are eigenvalues of finite multiplicity. This is close to, but not quite the same as, equality between the Weyl spectrum and the “Browder spectrum”, which in turn ought to, but does not, guarantee the spectral mapping theorem...
متن کاملFully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem
We present two fully mechanized proofs of Dilworth’s and Mirsky’s theorems in the Coq proof assistant. Dilworth’s Theorem states that in any finite partially ordered set (poset), the size of a smallest chain cover and a largest antichain are the same. Mirsky’s Theorem is a dual of Dilworth’s Theorem. We formalize the proofs by Perles [2] (for Dilworth’s Theorem) and by Mirsky [5] (for the dual ...
متن کاملA Note on a Decomposition Theorem for Simple Deterministic Languages
The simple deterministic grammar (s-grammar) is the standard form grammar in which the handles of the Z-rules are distinct for each nonterminal symbol Z. The language generated by an s-grammar is called the simple deterministic language (s-language). It is known that the s-languages have the the prefix property and that their equivalence problem is solvable. (Korenjak and Hopcroft, 1966). Using...
متن کاملAnother proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملDecomposition orders another generalisation of the fundamental theorem of arithmetic
We discuss unique decomposition in partial commutative monoids. Inspired by a result from process theory, we propose the notion of decomposition order for partial commutative monoids, and prove that a partial commutative monoid has unique decomposition iff it can be endowed with a decomposition order. We apply our result to establish that the commutative monoid of weakly normed processes modulo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Discrete Mathematics
سال: 2013
ISSN: 2090-9837,2090-9845
DOI: 10.1155/2013/692645